Premier ordinal non dénombrable - ω₁ est le supremum de tous les ordinaux au plus dénombrables ; ce sont ses éléments. - Comme tout ordinal (dans l`approche de von Neumann), ω₁ est un ensemble bien ordonné, la relation d`ordre étant la relation d`appartenance : ∈. C`est un ordinal l...